$e$ $\uparrow$$r$ $n$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$n$ $\cdot$$r$$\downarrow$xmn $e$